Naval Tactics

Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection

universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...

Evasion Tactics

The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...

U.s. Naval Submarine Medical Center Naval Submarine Base, New London

Nutritional Status in Some Iranian Naval Units

Background and Aim: Healthy diet has an important role in the success of military operations, so the commanders and all forces must understand the relationship between proper diet and the physical ability to perform physical activity. The aim of the current study is to evaluate the nutritional status of the military in order to provide strategies to improve the health status and increase the ef...

Naval Underwater Sound Laboratory Naval Submarine Medical Center

The reception of speech transmitted through an acoustic channel such as the ocean is limited by multipath "time-smearing." The purpose of this study was to obtain a quantitative measure of the effects of such timesmearing on speech intelligibility. A linear, time-invariant channel was used as a model of the ocean. The impulse response of this channel was a sample of band-limited Gaussian noise....